Optimal. Leaf size=101 \[ -\frac {(B d-A e) (a+b x)^3}{3 e (b d-a e) (d+e x)^3}-\frac {B (b d-a e)^2}{2 e^4 (d+e x)^2}+\frac {2 b B (b d-a e)}{e^4 (d+e x)}+\frac {b^2 B \log (d+e x)}{e^4} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.05, antiderivative size = 101, normalized size of antiderivative = 1.00, number of steps
used = 3, number of rules used = 2, integrand size = 20, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.100, Rules used = {79, 45}
\begin {gather*} -\frac {(a+b x)^3 (B d-A e)}{3 e (d+e x)^3 (b d-a e)}+\frac {2 b B (b d-a e)}{e^4 (d+e x)}-\frac {B (b d-a e)^2}{2 e^4 (d+e x)^2}+\frac {b^2 B \log (d+e x)}{e^4} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 45
Rule 79
Rubi steps
\begin {align*} \int \frac {(a+b x)^2 (A+B x)}{(d+e x)^4} \, dx &=-\frac {(B d-A e) (a+b x)^3}{3 e (b d-a e) (d+e x)^3}+\frac {B \int \frac {(a+b x)^2}{(d+e x)^3} \, dx}{e}\\ &=-\frac {(B d-A e) (a+b x)^3}{3 e (b d-a e) (d+e x)^3}+\frac {B \int \left (\frac {(-b d+a e)^2}{e^2 (d+e x)^3}-\frac {2 b (b d-a e)}{e^2 (d+e x)^2}+\frac {b^2}{e^2 (d+e x)}\right ) \, dx}{e}\\ &=-\frac {(B d-A e) (a+b x)^3}{3 e (b d-a e) (d+e x)^3}-\frac {B (b d-a e)^2}{2 e^4 (d+e x)^2}+\frac {2 b B (b d-a e)}{e^4 (d+e x)}+\frac {b^2 B \log (d+e x)}{e^4}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.05, size = 138, normalized size = 1.37 \begin {gather*} \frac {-a^2 e^2 (2 A e+B (d+3 e x))-2 a b e \left (A e (d+3 e x)+2 B \left (d^2+3 d e x+3 e^2 x^2\right )\right )+b^2 \left (-2 A e \left (d^2+3 d e x+3 e^2 x^2\right )+B d \left (11 d^2+27 d e x+18 e^2 x^2\right )\right )+6 b^2 B (d+e x)^3 \log (d+e x)}{6 e^4 (d+e x)^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.09, size = 164, normalized size = 1.62
method | result | size |
risch | \(\frac {-\frac {b \left (A b e +2 B a e -3 B b d \right ) x^{2}}{e^{2}}-\frac {\left (2 A a b \,e^{2}+2 A \,b^{2} d e +B \,a^{2} e^{2}+4 B a b d e -9 b^{2} B \,d^{2}\right ) x}{2 e^{3}}-\frac {2 a^{2} A \,e^{3}+2 A a b d \,e^{2}+2 A \,b^{2} d^{2} e +B \,a^{2} d \,e^{2}+4 B a b \,d^{2} e -11 b^{2} B \,d^{3}}{6 e^{4}}}{\left (e x +d \right )^{3}}+\frac {b^{2} B \ln \left (e x +d \right )}{e^{4}}\) | \(157\) |
norman | \(\frac {-\frac {2 a^{2} A \,e^{3}+2 A a b d \,e^{2}+2 A \,b^{2} d^{2} e +B \,a^{2} d \,e^{2}+4 B a b \,d^{2} e -11 b^{2} B \,d^{3}}{6 e^{4}}-\frac {\left (A \,b^{2} e +2 B a b e -3 b^{2} B d \right ) x^{2}}{e^{2}}-\frac {\left (2 A a b \,e^{2}+2 A \,b^{2} d e +B \,a^{2} e^{2}+4 B a b d e -9 b^{2} B \,d^{2}\right ) x}{2 e^{3}}}{\left (e x +d \right )^{3}}+\frac {b^{2} B \ln \left (e x +d \right )}{e^{4}}\) | \(161\) |
default | \(-\frac {2 A a b \,e^{2}-2 A \,b^{2} d e +B \,a^{2} e^{2}-4 B a b d e +3 b^{2} B \,d^{2}}{2 e^{4} \left (e x +d \right )^{2}}-\frac {b \left (A b e +2 B a e -3 B b d \right )}{e^{4} \left (e x +d \right )}-\frac {a^{2} A \,e^{3}-2 A a b d \,e^{2}+A \,b^{2} d^{2} e -B \,a^{2} d \,e^{2}+2 B a b \,d^{2} e -b^{2} B \,d^{3}}{3 e^{4} \left (e x +d \right )^{3}}+\frac {b^{2} B \ln \left (e x +d \right )}{e^{4}}\) | \(164\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.31, size = 182, normalized size = 1.80 \begin {gather*} B b^{2} e^{\left (-4\right )} \log \left (x e + d\right ) + \frac {11 \, B b^{2} d^{3} - 2 \, A a^{2} e^{3} - 2 \, {\left (2 \, B a b e + A b^{2} e\right )} d^{2} + 6 \, {\left (3 \, B b^{2} d e^{2} - 2 \, B a b e^{3} - A b^{2} e^{3}\right )} x^{2} - {\left (B a^{2} e^{2} + 2 \, A a b e^{2}\right )} d + 3 \, {\left (9 \, B b^{2} d^{2} e - B a^{2} e^{3} - 2 \, A a b e^{3} - 2 \, {\left (2 \, B a b e^{2} + A b^{2} e^{2}\right )} d\right )} x}{6 \, {\left (x^{3} e^{7} + 3 \, d x^{2} e^{6} + 3 \, d^{2} x e^{5} + d^{3} e^{4}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 209 vs.
\(2 (101) = 202\).
time = 0.64, size = 209, normalized size = 2.07 \begin {gather*} \frac {11 \, B b^{2} d^{3} - {\left (2 \, A a^{2} + 6 \, {\left (2 \, B a b + A b^{2}\right )} x^{2} + 3 \, {\left (B a^{2} + 2 \, A a b\right )} x\right )} e^{3} + {\left (18 \, B b^{2} d x^{2} - 6 \, {\left (2 \, B a b + A b^{2}\right )} d x - {\left (B a^{2} + 2 \, A a b\right )} d\right )} e^{2} + {\left (27 \, B b^{2} d^{2} x - 2 \, {\left (2 \, B a b + A b^{2}\right )} d^{2}\right )} e + 6 \, {\left (B b^{2} x^{3} e^{3} + 3 \, B b^{2} d x^{2} e^{2} + 3 \, B b^{2} d^{2} x e + B b^{2} d^{3}\right )} \log \left (x e + d\right )}{6 \, {\left (x^{3} e^{7} + 3 \, d x^{2} e^{6} + 3 \, d^{2} x e^{5} + d^{3} e^{4}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 211 vs.
\(2 (88) = 176\).
time = 3.29, size = 211, normalized size = 2.09 \begin {gather*} \frac {B b^{2} \log {\left (d + e x \right )}}{e^{4}} + \frac {- 2 A a^{2} e^{3} - 2 A a b d e^{2} - 2 A b^{2} d^{2} e - B a^{2} d e^{2} - 4 B a b d^{2} e + 11 B b^{2} d^{3} + x^{2} \left (- 6 A b^{2} e^{3} - 12 B a b e^{3} + 18 B b^{2} d e^{2}\right ) + x \left (- 6 A a b e^{3} - 6 A b^{2} d e^{2} - 3 B a^{2} e^{3} - 12 B a b d e^{2} + 27 B b^{2} d^{2} e\right )}{6 d^{3} e^{4} + 18 d^{2} e^{5} x + 18 d e^{6} x^{2} + 6 e^{7} x^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 2.40, size = 163, normalized size = 1.61 \begin {gather*} B b^{2} e^{\left (-4\right )} \log \left ({\left | x e + d \right |}\right ) + \frac {{\left (6 \, {\left (3 \, B b^{2} d e - 2 \, B a b e^{2} - A b^{2} e^{2}\right )} x^{2} + 3 \, {\left (9 \, B b^{2} d^{2} - 4 \, B a b d e - 2 \, A b^{2} d e - B a^{2} e^{2} - 2 \, A a b e^{2}\right )} x + {\left (11 \, B b^{2} d^{3} - 4 \, B a b d^{2} e - 2 \, A b^{2} d^{2} e - B a^{2} d e^{2} - 2 \, A a b d e^{2} - 2 \, A a^{2} e^{3}\right )} e^{\left (-1\right )}\right )} e^{\left (-3\right )}}{6 \, {\left (x e + d\right )}^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.13, size = 178, normalized size = 1.76 \begin {gather*} \frac {B\,b^2\,\ln \left (d+e\,x\right )}{e^4}-\frac {\frac {B\,a^2\,d\,e^2+2\,A\,a^2\,e^3+4\,B\,a\,b\,d^2\,e+2\,A\,a\,b\,d\,e^2-11\,B\,b^2\,d^3+2\,A\,b^2\,d^2\,e}{6\,e^4}+\frac {x\,\left (B\,a^2\,e^2+4\,B\,a\,b\,d\,e+2\,A\,a\,b\,e^2-9\,B\,b^2\,d^2+2\,A\,b^2\,d\,e\right )}{2\,e^3}+\frac {b\,x^2\,\left (A\,b\,e+2\,B\,a\,e-3\,B\,b\,d\right )}{e^2}}{d^3+3\,d^2\,e\,x+3\,d\,e^2\,x^2+e^3\,x^3} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________